Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.

This paper reports on a two-year, field-based study set in a charter management organization, a not-for-profit educational organization that operates 18 public schools exclusively in the Black and Latinx communities of South and East Los Angeles. At CMO-LAX, the nine-member Data Team pursues the organization's avowed mission of making public schools data-driven, primarily through the aggregation, analysis, and visualization of digital data derived from quotidian educational activities. This paper draws on the theory of racialized organizations to characterize aspects of data-driven (...) management of public education as practiced by CMO-LAX. I explore two examples of how CMO-LAX shapes data to support racial projects: the reconstruction of the figure of chronic truants and the incorporation of this figure in a calculative regime of student accomplishment. Organizational uses of data support a strategy I call productive myopia, a way of pursuing racial projects via seemingly independent, objective quantifications. This strategy allows the organization to claim to mitigate racial projects and, simultaneously, to accommodate them. This paper concludes by arguing for approaches to research and practice that center racial projects, particularly when data-intensive tools and platforms are incorporated into the provision of public goods and services such as education. (shrink)

Based on an ethnographic project in a public high school in a low-income neighborhood in South Los Angeles, this paper argues that access to information and communication technologies cannot be taken as helpful or empowering on its own terms; instead, concerns about justice must be accounted for by the local communities technology is meant to benefit. This paper juxtaposes the concept of technological access with recent work in feminist science and technology studies on infrastructure, maintenance, and ethics. In contrast to (...) popular descriptions of ICTs as emancipatory and transformative, in the setting of an urban school, access produced extensive demands for attention, time, and information. This paper focuses on the labor of a group of student workers, Student Technology Leaders, and how they became responsible for the significant amount of repair and maintenance work involved in keeping hundreds of new computing devices available for use. An expanded process of accounting can more realistically frame issues of justice and its relationship to ICTs. I use a town hall meeting held with these students as an example of a processual vision of justice, one that encourages the beneficiaries of technological access to evaluate costs, benefits, and ethical concerns together. (shrink)

An accessible introduction to the moral philosophy of William David Ross.

_Kant, Duty and Moral Worth _is a fascinating and original examination of Kant's account of moral worth. The complex debate at the heart of Kant's philosophy is over whether Kant said moral actions have worth only if they are carried out from duty, or whether actions carried out from mixed motives can be good. Philip Stratton-Lake offers a unique account of acting from duty, which utilizes the distinction between primary and secondary motives. He maintains that the moral law should not (...) be understood as a normative moral reason but as playing a transcendental role. Thus a Kantian account of moral worth is one where the virtuous agent may be responsive to concrete particular considerations, whilst preserving an essential role for universal moral principles. _Kant, Duty and Moral Worth _is a lucid examination of Kant's moral thought that will appeal to Kant scholars and anyone interested in moral theory. (shrink)

One of the questions that Heidegger presents in his paper, ‘Plato’s Doctrine on Truth’, is the distortion as he sees it of paideia—that is the loss of the essential elements in education. This loss is characterised according to Heidegger, by a misconception of Plato’s concept of teaching and learning. By undertaking an historical examination, Heidegger provides a means to rectify this loss. With reference to past, present and future philosophical perspectives of teaching and learning as particular spaces, an attempt is (...) made in this paper to examine Heidegger’s reading of paideia within the context of online learning. This, for many contemporary writers on education, is an encounter with new literacies, new knowledge and the adoption of an online environment that challenges the hegemonic order of the institution as the purveyors of knowledge. Teachers within this new environment are, however still constituted as experts and their knowledge is seen as ultimately inviolate. Heidegger in his re-interpretation of Plato sees the teacher as leading the students to where they might make themselves intelligible within the space of their being. This alignment forms an acceptance and a challenge to the metaphysical concepts of uniformity of being and place that limits the potential of knowledge as something that is fixed and complete. The experience of the social web or Web 2.0 has seen a shift in learning premised upon dialogue, exchange and constantly shifting horizons. Within this context, the teacher is recast as a craftsman, creating learning opportunity within dialogic exchange. The heightened sense of involvement that is revealed in this context lays the ground for a future visioning of education where emergence is seen as essential, unlike a re-working of authorisation to learn that inhibits student and teacher alike in new attempts at revitalising education. (shrink)

The Right and the Good, a classic of twentieth-century philosophy by the great scholar Sir David Ross, is now presented in a new edition with a substantial introduction by Philip Stratton-Lake, a leading expert on Ross. Ross's book is the pinnacle of ethical intuitionism, which was the dominant moral theory in British philosophy for much of the nineteenth and early twentieth century. Intuitionism is now enjoying a considerable revival, and Stratton-Lake provides the context for a proper understanding of Ross's great (...) work today. (shrink)

INTRODUCTION TO LOGIC is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises. The text covers propositional logic and predicate logic with identity, the focus being on arguments. The methods of proof are truth-tables and truth-trees in the style of Jeffrey. This text is suitable for students of philosophy, computer science, mathematics and science in general.

BackgroundEthics is the science of moral and ethical rules recognised in human life and attempts to verify what is morally right and wrong. Healthcare ethics is seen as an integrated part of the daily activities of health facilities. Healthcare professionals’ standardisation and uniformity in healthcare ethics are urgent and basic requirements. Therefore, this study aimed to assess the practice of the code of ethics and associated factors among health professionals in Central Gondar Zone public hospitals, Northwest Ethiopia, 2021.MethodsA facility-based cross-sectional (...) study design with a mixed method was conducted on 631 health professionals from Central Gondar Zone public hospitals. For the quantitative part, pre-tested self-administered questionnaires were used, and for the qualitative part, key informant interviews with a semi-structured questionnaire were used. Variables with a p value of < 0.2 in binary logistic regression entered into a multivariable logistic regression, then p value < 0.05 and AOR were used to declare statistically significant variables in quantitative data. A thematic content analysis was used for qualitative data analysis.ResultsThis study revealed that only 286 health professionals had good practice of the code of ethics. Good ethical knowledge, favourable attitude, and satisfaction of health professionals with their jobs were significantly associated with the practice of health care ethics.ConclusionsHealth professionals' overall level of practice of health care ethics in the Central Gondar Zone public hospitals was poor. This necessitates practical training, ongoing follow-up, availing of necessary medical equipment, a smooth working environment, and modification of the recognition system for health professionals. (shrink)

Ethical Intuitionism was the dominant moral theory in Britain for much of the 18th, 19th and the first third of the twentieth century. However, during the middle decades of the twentieth century ethical intuitionism came to be regarded as utterly untenable. It was thought to be either empty, or metaphysically and epistemologically extravagant, or both. This hostility led to a neglect of the central intuitionist texts, and encouraged the growth of a caricature of intuitionism that could easily be rejected before (...) moving on to 'more serious' philosophical theories. More recently, however, this hostility towards ethical intuitionism has subsided. A wide range of moral philosophers, from Aristotelians, to rule-consequentialists, to expressivists, Kantians and deontologists, are beginning to look to the ethical intuitionists's work as a positive resource. It is, therefore, a good time to get clear on what it was that intuitionists said, and re-evaluate their contribution to our understanding of morality. This volume is the first serious engagement with ethical intuitionism in the light of contemporary developments in ethical theory. It contains essays by eminent moral philosophers working in very different traditions whose aim is to clarify and assess ethical intuitionism. Issues addressed include whether the plurality of basic principles intuitionists adhere to can be grounded in some more fundamental principle; the autonomy of ethics and self-evidence; moral realism and internalism; and the open question argument and naturalism. (shrink)

Recent progress in artificial intelligence has renewed interest in building systems that learn and think like people. Many advances have come from using deep neural networks trained end-to-end in tasks such as object recognition, video games, and board games, achieving performance that equals or even beats that of humans in some respects. Despite their biological inspiration and performance achievements, these systems differ from human intelligence in crucial ways. We review progress in cognitive science suggesting that truly human-like learning and thinking (...) machines will have to reach beyond current engineering trends in both what they learn and how they learn it. Specifically, we argue that these machines should build causal models of the world that support explanation and understanding, rather than merely solving pattern recognition problems; ground learning in intuitive theories of physics and psychology to support and enrich the knowledge that is learned; and harness compositionality and learning-to-learn to rapidly acquire and generalize knowledge to new tasks and situations. We suggest concrete challenges and promising routes toward these goals that can combine the strengths of recent neural network advances with more structured cognitive models. (shrink)

Jan Łukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A modern formal syllogistic (...) game, DLSyll, is set out and analysed in use. (shrink)

It has been argued that consciousness might be what differentiates human from machine mentality. What then is consciousness? We discuss consciousness, particularly perception accounts of consciousness. It is argued that perception and consciousness are distinct. Armstrong's account of consciousness is rejected. It is proposed that perception is a necessary but not sufficient condition for consciousness, and that there is a distinction to be drawn between consciousness and self-consciousness. Consciousness is tightly linked to attention and to certain sorts of knowledge. Implications (...) for machine consciousness and machine attention are discussed. (shrink)

In this paper we compare central elements of Dialogue Logic and Belief Revision theory. Dialogue Logic of the Hamblin/Mackenzie style, or Formal Dialectic, contains three main features. First, there is a rule governed interaction between dialogue participants—the minimal case being two participants. Second, each participant has a commitment store which changes as the dialogue progresses. Third, the changes in the commitment store are governed by rules for additions and withdrawals of material. Withdrawal of material is one major source of difficulty (...) in proposing rules for commitment store change. The classic Belief Revision theory is the AGM theory. AGM theory is a theory about ideal rational believers who change their sets of beliefs by either expansion or contraction. Contraction is a major source of difficulty in belief revision theory. We claim that the commitment stores of dialogue logic include, in a sense, the belief sets of belief revision theory. Further, withdrawal and contraction are essentially the same process. We consider various kinds of withdrawal and contraction, and show how approaches to these processes illuminate certain of the formal fallacies. (shrink)

The target article by Wiggins and Wilbanks (2019) reports on the history and typology of the models of citizen science emerging in health and biomedical research with the rapid dispersion and repur...

According to ethical intuitionists, basic moral propositions are self-evident. Robert Audi has made significant progress articulating and defending this view, claiming that an adequate understanding of a self-evident proposition justifies rather than compels belief. It is argued here that understanding a proposition cannot justify belief in it, and that intuition, suitably understood, provides the right sort of justification. An alternative account is offered of self-evidence based on intuition rather than understanding, and it is concluded that once we have an adequate (...) understanding of a self-evident proposition, we can see that it does no distinctive epistemic work. It merely reports that intuition is doing some significant epistemic work. Since the very idea of self-evident moral propositions is so controversial, and self-evidence does no significant epistemic work, ethical intuitionists should drop this notion from their moral epistemology. All they need are intuitive propositions and our intuition of these. (shrink)

There are several formal systems for persuasive dialogue. Dialogue systems are multi-Agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics. A logic usually has a semantics and a proof system, and questions of soundness and completeness arise. Any dialogue conducted according to the rules of a dialogue logic is a complex process. Dynamic Logic is a logic of processes, (...) with a possible world semantics. This paper is a preliminary exploration of transforming the dialogues of dialogue logic into complex Dynamic Logic processes with emphasis on semantic models. The transformation gives rise to many questions, three of which are discussed. Dialogue logic includes commitment sets which behave in a way similar to belief sets and undergo changes during any dialogue. There are issues as to the relationship between belief and commitment, and whether the logics of belief change apply to commitment stores. There is also the issue of the logical nature of the evaluation of dialogues as legal or illegal. (shrink)